fpf(L)
== <remove-repeats(eq1;map(p.1of(p);L))
== ,x.reduce(p,l. if eqof(eq1)(1of(p),x) insert(2of(p);l) else l fi;nil;L)> 

latex

---

clarification:

pairs-fpf(eq1;eq2;L)
== <remove-repeats(eq1;map(p.1of(p);L))
== ,x.reduce(p,l. if eqof(eq1)(1of(p),x) insert(eq2; 2of(p); l) else l fi;nil;L)> 

latex

Definitions	remove-repeats(eq;L), map(f;as), reduce(f;k;as), if b t else f fi, eqof(d), 1of(t), insert(a;L), 2of(t)
FDL editor aliases	pairs-fpf